.highlight {
    --highlight-deletion: #008000;
    --highlight-addition: #800000;
    --highlight-background: #2d2d2d;
    --highlight-current-line: #393939;
    --highlight-selection: #515151;
    --highlight-foreground: #cccccc;
    --highlight-comment: #999999;
    --highlight-red: #f2777a;
    --highlight-orange: #f99157;
    --highlight-yellow: #ffcc66;
    --highlight-green: #99cc99;
    --highlight-aqua: #66cccc;
    --highlight-blue: #6699cc;
    --highlight-purple: #cc99cc;
    --highlight-gutter-color: #999999;
    --highlight-gutter-bg-color: #1b1b1b;
}